Representing and reasoning about three-dimensional space

Representing and Reasoning about Motion in a Two-Dimensional World

This paper presents a point based spatio temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a two dimensional space The knowledge of a simpli ed world a two dimensional street network with active tra c lights is repre sented and the reasoning problem of how a robot moves from one place to another in the world is...

A Framework for Representing and Reasoning about Three-Dimensional Objects for Vision

defined, the reasoning portion of the 3-D FORM system can apply the model to real data, recognizing instances of the defined objects and hypothesizing their missing parts. Figure 1 shows a portion of the knowledge that might be represented about a building. A BUILDING is a 3D-OBJECT; and a WALL, which is a 2D-OBJECT, is one of the building's parts. The specific building, BLDG1, has parts WALL1 ...

Representing Space for Practical Reasoning

This paper describes a new approach to representing space and time for practical reasoning. Unlike R, the new models can represent a bounded region of space using only finitely many cells, so they can be manipulated directly. Unlike Z n , they have useful notions of function continuity and region connectedness. Finally, the topology of space is allowed to depend on the situation being represent...

Representing and reasoning about communicative conditional commitments

Social commitments provide a powerful representation for modeling multi-agent interactions without relinquishing part of agents autonomy and flexibility. However, distinguishing between different but related types of conditional commitments, a natural frame of social commitments, is not considered yet. In this paper, we define a new logical language, CTL, which extends CTL with modalities to re...

Representing and Reasoning About Logical Network Topologies